⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Efficiently Verifiable Proofs of Data Attribution
arxiv.org·4h
🛡️Proof-Carrying Data
Comparison of Generic Container Libraries for C
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
Measuring Thinking Efficiency in Reasoning Models: The Missing Benchmark - NOUS RESEARCH
nousresearch.com·8h·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
A Mega Malware Analysis Tutorial Featuring Donut-Generated Shellcode
unit42.paloaltonetworks.com·22h
🦠Malware Analysis
Software Engineering Laws - Coding & Development
leadership.garden·15h
🔩Systems Programming
Writing an LLM from scratch - Tutorial series
gilesthomas.com·16h
💻Local LLMs
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·1d
🔲Cellular Automata
How Randomness Improves Algorithms?
quantamagazine.org·22h·
Discuss: Hacker News
🌳Trie Structures
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·23h·
Discuss: r/rust
🐚Shell Monads
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·16h
🦠Malware Analysis
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·1d
🔄Reproducible Builds
Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning
arxiv.org·1d
🧠Machine Learning
A beginner-friendly guide to learning Jax with practical examples
github.com·15h·
Discuss: Hacker News, r/LocalLLaMA
⚔️Lean Tactics
We Should All Code Like Steve Jobs
priver.dev·17h·
Discuss: Hacker News
📏Code Metrics
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Liveness analysis with Datalog
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·1d
🌐Protocol Synthesis
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
🦀Rust Macros